VDict mobile



higher-order logic not found. Suggestions:

HOL
Lambda Prolog
first-order logic
predicate logic
BABEL
equational logic
higher-order macro
F-Logic
logic
Lolli